// Copyright 2010 Google Inc. All Rights Reserved.

package Fraction;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertNotNull;

import org.junit.Test;

import instrumentation.TrackerCoverage;

public class Main {
	public static TrackerCoverage track=  TrackerCoverage.getTracker();
	 @Test
	  public static void test0()  throws Throwable  {
	      Fraction fraction0 = Fraction.FOUR_FIFTHS;
	      Fraction fraction1 = fraction0.add(fraction0);
	      assertEquals("8 / 5 (1.6)", fraction1.toString());
	      assertNotNull(fraction1);
	  }

	  //Test case number: 1
	  /*
	   * 2 covered goals:
	   * 1 Fraction.Fraction.multiply(I)LFraction/Fraction;: root-Branch
	   * 2 Fraction.Fraction.gcd(II)I: I53 Branch 55 IFLE L685 - true
	   */

	  @Test
	  public void test1()  throws Throwable  {
	      Fraction fraction0 = Fraction.THREE_FIFTHS;
	      Fraction fraction1 = fraction0.multiply((-1));
	      assertNotNull(fraction1);
	      assertEquals("-3 / 5 (-0.6)", fraction1.toString());
	  }

  public static void main(String[] args) throws Throwable{
	  test0();
      System.out.print(track.toString());
//		 System.out.println(track.getConditionTargetId(100));
		 System.out.println(track.displayCondition());
		 track.reset(); 
		   System.exit(0);;
  
  }
}